- nonisomorphic extension
- мат.неизоморфное расширение
English-Russian scientific dictionary. 2008.
nonisomorphic extension
Смотреть что такое "nonisomorphic extension" в других словарях:
Forking extension — In model theory, a forking extension of a type is an extension that is in some sense not free, and a non forking extension is an extension that is as free as possible. This can be used to extend the notions of linear or algebraic independence to… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Ordinal number — This article is about the mathematical concept. For number words denoting a position in a sequence ( first , second , third , etc.), see Ordinal number (linguistics). Representation of the ordinal numbers up to ωω. Each turn of the spiral… … Wikipedia
Dessin d'enfant — In mathematics, a dessin d enfant (French for a child s drawing , plural dessins d enfants, children s drawings ) is a type of graph drawing used to study Riemann surfaces and to provide combinatorial invariants for the action of the absolute… … Wikipedia
Stability spectrum — In model theory, a branch of mathematical logic, a complete first order theory T is called stable in λ (an infinite cardinal number), if the Stone space of every model of T of size ≤ λ has itself size ≤ λ. T is called a stable theory if there is… … Wikipedia
